机译：具有动态行为的Simulink模型的测试生成和测试优先级
机译：使用模型检查从Simulink / Stateflow模型自动生成测试用例
机译：基于突变分析的Simulink模型测试数据生成的新启发式元启发式适应度函数
机译：Simulink模型的基于突变的测试用例
机译：使用Boogie =自动验证离散时间Matlab Simulink模型的框架，用于自动验证时间谨慎Matlab Simulink模型与Boogie的框架
机译：基于变异的和声搜索算法用于Web服务组合的混合测试
机译：用于测试simulink模型的自动测试数据生成
